//full url of the directory where the images are stored (without final slash)
var img_dir=getParamVal("location")+"/images";

//cache images
var loadImgs = new Array(15);
for(var i=0;i<15; i++) {
  loadImgs[i]=new Image;
  if(i<9)
    loadImgs[i].src=img_dir+"/"+i+".gif";
}
loadImgs[9].src=img_dir+"/bad_mark.gif";
loadImgs[10].src=img_dir+"/blank.gif";
loadImgs[11].src=img_dir+"/bug.gif";
loadImgs[12].src=img_dir+"/bug_clicked.gif";
loadImgs[13].src=img_dir+"/mark.gif";
loadImgs[14].src=img_dir+"/question.gif";
